Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
911	Institut fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 DKiel Contributions Add to Reading List Source URL: www.f4.fhtw-berlin.de Language: English - Date: 2011-04-20 09:47:07 Automated theorem proving Formal methods Parser generators Programming language implementation Nqthm LR parser Compiler Parsing Formal language Software Computing Compiler construction
912	Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 IP KeY Byron Cook Formal methods Applied mathematics Theoretical computer science Static program analysis Termination analysis
913	Geosci. Model Dev., 3, 189–203, 2010 www.geosci-model-dev.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 03:52:45 Software engineering Software quality Formal methods Project management Cirrus cloud Quality assurance Waterfall model Traceability Software quality control Science Atmospheric sciences Software development
914	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
915	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
916	. best practices steve mcconnell Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:14:12 Formal methods Technology Software project management Methodology Software development process Software engineering Software development Quality assurance HP Quality Center Project management Business Management
917	. best practices steve mcconnell Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:14:22 Software Software engineering Formal methods Product development Methodology New product development Software release life cycle Software development Software development process Product management
918	IT Architecture Assessment \| Consulting \| Team Enhancement \| Training \| Certification Add to Reading List Source URL: icmgworld.com Language: English - Date: 2009-02-23 05:03:28 Enterprise modelling Formal methods Systems engineering Software project management Software development process IBM Rational Unified Process Enterprise Architect Business process modeling Model-driven architecture Software development Software Information technology management
919	Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´ Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-04-11 23:05:46 Diagrams Petri net Computer science Formal methods Priority queue XTR Unfolding Algorithm Admissible heuristic Models of computation Mathematics Concurrency
920	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics

UPDATE